$\forall$$x$:Id, $t$:Type, $v$:($\mathbb{Q}\rightarrow$$t$). $x$ : $t$ initially $x$ = $v$ $\in$ MsgA